function flashPutHref(href) { location.href = href; }
function flashPutTitle(title) { document.title = title; }
